fuzzy modal propositional logic模糊模态命题逻辑
Modal IF logic模态信息流逻辑
modal propositional logic模态命题逻辑
Modal Nonmonotonic Logic模态非单调逻辑
Modal Illocutionary Logic模态的语用逻辑
multi-modal epistemic logic多模态认知逻辑
Normal Modal Propositional Logic System正规模态逻辑系统
system of modal prepositional logic模态命题逻辑系统
propositional modal logic命题模态逻辑
Third, the dissertation investigates modal logic under set-theoretic semantics.
第三,在集合论语义下重新研究模态逻辑。
参考来源 - 非良基集与模态逻辑Some AI researchers introduce multiple modal operators to modal logic according to multiple mental states of Agent.
有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。
参考来源 - 纤维逻辑 in CN（名词） the logical study of such philosophical concepts as necessity, possibility, contingency, etc 模态逻辑